ptest1 is package{
  
  R is relation{("fred",1);("fred",3);("Bob",3)};
  TM is pattern(X) from ("fred",X);
  
  main() do {
  	
  	if ("fred",3) in R then {
  		logMsg(info, "(\"fred\",3) is in R");  
 	 } else {
  		logMsg(info, "(\"fred\",3) is not in R");  
  	};
  	
  	if TM(3) in R then {
  		logMsg(info, "TM(3) is in R");  
 	 } else {
  		logMsg(info, "TM(3) is not in R");  
  	};
  }
}